Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
331	Interactive Theorem Proving in Industry John Harrison Intel Corporation 16 April 2012 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Automated theorem proving Logic in computer science Proof assistants Logic for Computable Functions E theorem prover HOL Robin Milner Interactive Theorem Proving Type theory
332	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
333	An Application to the NASA Postdoctoral Management Program Applicant Name: Type you Full Name here Title: Enter your Title Statement of Purpose Add to Reading List Source URL: npp.usra.edu Language: English - Date: 2016-01-11 10:18:52 Academic administration Organizational theory Government of the United States NASA Management Fellow Postdoctoral researcher Doctorate
334	A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:29 Type theory Matita Agda Unification Calculus of constructions Type system HindleyMilner type system System F Refinement Type inference Algorithm Dependent type
335	Michael Tinkham 1928–2010 A Biographical Memoir by John Clarke, Isaac F. Silvera, and Malcolm R. Beasley Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2015-12-14 11:53:53 Superconductivity High-temperature superconductivity BCS theory Meissner effect Josephson effect Michael Tinkham GinzburgLandau theory Type-II superconductor Cryogenic particle detectors
336	arXiv:0901.1102v1 [math.PR] 8 JanA CLT for the L2 modulus of continuity of Brownian local time Xia Chen, Wenbo Li, Michael B. Marcus and Jay Rosen∗ February 20, 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-20 11:10:03 Integral calculus Integration by parts Lemmas Harmonic analysis Operator theory Fourier analysis Singular integral operators of convolution type Bessel function
337	CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type
338	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
339	CS364B: Exercise Set #1 Due by the beginning of class on Wednesday, January 15, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to the TA (Okke). Please type your solutions if pos Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-01-08 16:42:50 Auction theory Auctions Game theory Mechanism design Auction Competitive equilibrium English auction Revelation principle Bidding Economic surplus General equilibrium theory VickreyClarkeGroves auction
340	On a Gromoll–Meyer type theorem in globally hyperbolic stationary Lorentzian manifolds Joint work with L. Biliotti and F. Mercuri Paolo Piccione Departamento de Matemática Instituto de Matemática e Estatística Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:09:59 Differential geometry Dynamical systems Geodesic Closed geodesic Riemannian manifold Morse theory Connection Orbifold Finsler manifold

UPDATE